Templet: a Markup Language for Concurrent Actor-oriented Programming
نویسنده
چکیده
The article presents a markup domain-specific language (DSL) for concurrent programming. Runtime libraries and language extensions are the usual ways to implement parallel execution. However, their using often requires a special programming skill. The modern languages with build-in parallel constructs are more convenient for programming, but they are poorly integrated with existing high performance computing infrastructure. We propose a compromise solution which uses DSL together with C++ programming language. The article discusses syntax, programming model, and some practical applications of the language.
منابع مشابه
Templet: a Markup Language for Concurrent Programming
In this paper we propose a new approach to the description of a network of interacting processes in a traditional programming language. Special programming languages or extensions to sequential languages are usually designed to express the semantics of concurrent execution. Using libraries in C++, Java, C#, and other languages is more practical way of concurrent programming. However, this metho...
متن کاملPerformance Analysis of a Simple Runtime System for Actor Programming in C++
In this paper, we propose the Templet – a runtime system for actor programming of high performance computing in C++. We provide a compact source code of the runtime system, which uses standard library of C++ 11 only. We demonstrate how it differs from the classic implementations of the actor model. The practical significance of the Templet was examined by comparative study on the performance of...
متن کاملA Performance Analysis of Simple Runtime System for Actor Programming in C++
In this paper, we propose the Templet – a runtime system for actor programming of high performance computing in C++. We provide a compact source code of the runtime system, which uses standard library of C++ 11 only. We demonstrate how it differs from the classic implementations of the actor model. The practical significance of the Templet was examined by comparative study on the performance of...
متن کاملConcurrent Lexicalized Dependency Parsing: The ParseTalk Model
A grammar model for concurrent, object-oriented natural language parsing is introduced. Complete lexical distribution of grammatical knowledge is achieved building upon the head-oriented notions of valency and dependency, while inheritance mechanisms are used to capture lexical generalizations. The underlying concurrent computation model relies upon the actor paradigm. We consider message passi...
متن کاملFormal Reasoning about Actor Programs Using Temporal Logic
We here present an approach to reasoning about actor programs on the basis of temporal logic. Temporal logic is particularly appropriate for the speciication of concurrent programs, but most known temporal logic proof systems for concurrent computations rely on imperative language constructs, ignoring, e.g., the creation of processes and the dynamic connguration of communication channels, which...
متن کامل